f : Int -> Int
f x = z 1 + 1
  where
    z : Int -> Int
    z y =
y
